package plus;

public abstract class TypeSym  {
	public abstract Type constructWith(Type[] actuals);
}
